Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

机译：用于组织工程应用的金纳米粒子官能化反向热凝胶

机译：实施到设计和需求规范的可追溯性：正式的技术评审方法（逆向工程工具）

机译：实施到设计和需求规格的可追溯性：正式的技术评审方法（逆向工程工具）

机译：结合交互式应用程序逆向工程的形式方法和功能策略

机译：深度测序驱动的蛋白质工程：研究功能性酶进化的新方法和应用。

机译：用于组织工程应用的金纳米粒子功能化反向热凝胶

机译：结合有关交互式应用程序反向工程的形式方法和功能策略

机译：在应用中结合广度优先搜索策略和深度优先搜索策略的系统和方法，用于具有大编码尺寸的图形搜索问题

机译：用于描述在交互式网络上使用的交互式多媒体应用程序的功能的方法和系统

机译：计算机实施的方法，用于提供用于管理用户帐户的在线门户的技术应用程序，包括具有互动GUI的互动GUI，用于预授权未来交易